A colimit decomposition for homotopy algebras in Cat

Badzioch showed that in the category of simplicial sets each homotopy algebra of a Lawvere theory is weakly equivalent to a strict algebra. In seeking to extend this result to other contexts Rosicky observed a key point to be that each homotopy colimit in simplicial sets admits a decomposition into a homotopy sifted colimit of finite coproducts, and asked the author whether a similar decomposition holds in the 2-category of categories Cat. Our purpose in the present paper is to show that this is the case.Comment: Some notation changed; small amount of exposition added in intr

Introduction

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/75737/1/j.1095-8312.1986.tb01745.x.pd

Computational techniques for the assessment of fracture repair

The combination of high-resolution three-dimensional medical imaging, increased computing power, and modern computational methods provide unprecedented capabilities for assessing the repair and healing of fractured bone. Fracture healing is a natural process that restores the mechanical integrity of bone and is greatly influenced by the prevailing mechanical environment. Mechanobiological theories have been proposed to provide greater insight into the relationships between mechanics (stress and strain) and biology. Computational approaches for modelling these relationships have evolved from simple tools to analyze fracture healing at a single point in time to current models that capture complex biological events such as angiogenesis, stochasticity in cellular activities, and cell-phenotype specific activities. The predictive capacity of these models has been established using corroborating physical experiments. For clinical application, mechanobiological models accounting for patient-to-patient variability hold the potential to predict fracture healing and thereby help clinicians to customize treatment. Advanced imaging tools permit patient-specific geometries to be used in such models. Refining the models to study the strain fields within a fracture gap and adapting the models for case-specific simulation may provide more accurate examination of the relationship between strain and fracture healing in actual patients. Medical imaging systems have significantly advanced the capability for less invasive visualization of injured musculoskeletal tissues, but all too often the consideration of these rich datasets has stopped at the level of subjective observation. Computational image analysis methods have not yet been applied to study fracture healing, but two comparable challenges which have been addressed in this general area are the evaluation of fracture severity and of fracture-associated soft tissue injury. CT-based methodologies developed to assess and quantify these factors are described and results presented to show the potential of these analysis methods

Use of Single Board Computers as Smart Sensors in the Manufacturing Industry

The continuously growing presence of cyber-physical systems in the industry, especially in the field of processes automation and control, represents the paradigm of the so called fourth industrial revolution, in which the systems are smarter, faster and more optimized by means of artificial intelligence, control systems and sensors networks. The presence of ICT and automation systems guarantees energy and other resources efficiency along the whole value chain of industrial processes. Especially important is the case of the smart sensors, in which a conventional sensor is equipped with interfacing methodologies for signal processing and decision making. In this article the capabilities of using a single board computer as a smart sensor are explored.Postprint (published version

Risk factors for patellofemoral pain: a systematic review and meta-analysis.

“This article has been accepted for publication in British Journal of Sports Medicine 2019 following peer review, and the Version of Record can be accessed online at http://dx.doi.org/10.1136/bjsports-2017-098890.”BACKGROUND: Patellofemoral pain (PFP) is a prevalent condition commencing at various points throughout life. We aimed to provide an evidence synthesis concerning predictive variables for PFP, to aid development of preventative interventions. METHODS: We searched Medline, Web of Science and SCOPUS until February 2017 for prospective studies investigating at least one potential risk factor for future PFP. Two independent reviewers appraised methodological quality using the Newcastle-Ottawa Scale. We conducted meta-analysis where appropriate, with standardised mean differences (SMD) and risk ratios calculated for continuous and nominal scaled data. RESULTS: This review included 18 studies involving 4818 participants, of whom 483 developed PFP (heterogeneous incidence 10%). Three distinct subgroups (military recruits, adolescents and recreational runners) were identified. Strong to moderate evidence indicated that age, height, weight, body mass index (BMI), body fat and Q angle were not risk factors for future PFP. Moderate evidence indicated that quadriceps weakness was a risk factor for future PFP in the military, especially when normalised by BMI (SMD -0.69, CI -1.02, -0.35). Moderate evidence indicated that hip weakness was not a risk factor for future PFP (multiple pooled SMDs, range -0.09 to -0.20), but in adolescents, moderate evidence indicated that increased hip abduction strength was a risk factor for future PFP (SMD 0.71, CI 0.39, 1.04). CONCLUSIONS: This review identified multiple variables that did not predict future PFP, but quadriceps weakness in military recruits and higher hip strength in adolescents were risk factors for PFP. Identifying modifiable risk factors is an urgent priority to improve prevention and treatment outcomes

Is markerless, smart phone recorded two-dimensional video a clinically useful measure of relevant lower limb kinematics in runners with patellofemoral pain? A validity and reliability study.

OBJECTIVES: Investigate the validity and reliability of markerless, smart phone collected, two-dimensional (2D) video, analysed using the 'Hudl technique' application, compared to three-dimensional (3D) kinematics during running, in participants with patellofemoral pain (PFP). DESIGN: Validity/reliability study. SETTING: Biomechanics laboratory. PARTICIPANTS: Males/females with PFP (n = 21, 10 males, 11 females, age 32.1 months [±12.9]). MAIN OUTCOME MEASURES: Manually synchronised 2D and 3D measurement of peak hip adduction (HADD) and peak knee flexion (KFLEX) during running. RESULTS: 2D and 3D measures of peak KFLEX (p = 0.02, d = 1.13), but not peak HADD (p = 0.25, d = -0.27), differed significantly. Poor validity was identified for 2D measurement of peak HADD (ICC 0.06, 95% CI -0.35, 0.47) and peak KFLEX ICC 0.42, 95% CI (-0.10, 0.75). Moderate intra-rater reliability was identified for both variables (ICC 0.61-65), alongside moderate inter-rater reliability for peak KFLEX (ICC 0.71) and poor inter-rater reliability for peak HADD (ICC 0.31). CONCLUSIONS: Measurement of peak HADD and KFLEX in runners with PFP using markerless, smart phone collected 2D video, analysed using the Hudl technique Application is invalid, with poor to moderate reliability. Investigation of alternate 2D video approaches to increase precision is warranted. At present, 2D video analysis of running using Hudl Technique cannot be advocated

Cognition and the brain of brood parasitic cowbirds.

Cowbirds are brood parasites. Females lay their eggs in the nests of other species, which then incubate the cowbird eggs and raise the young cowbirds. Finding and returning to heterospecific nests presents cowbirds with several cognitive challenges. In some species, such as brown-headed cowbirds (Molothrus ater), females but not males search for and remember the locations of potential host nests. We describe recent research on sex differences in cognition and the hippocampus associated with this sex difference in search for host nests. Female brown-headed cowbirds perform better than males on some, but not all, tests of spatial memory and females show a pattern of adult hippocampal neurogenesis not found in males or in closely related non-parasitic birds. Because of the apparent specialization of the hippocampus, brown-headed cowbirds may be a good model in which to examine spatial information processing in the avian hippocampus and we also describe recent research on the spatial response properties of brown-headed cowbird hippocampal neurons

Borrowed contexts for attributed graphs

Borrowed context graph transformation is a simple and powerful technique developed by Ehrig and König that allow us to derive labeled transitions and bisimulation congruences for graph transformation systems or, in general, for pocess calculi that can be defined in terms of graph transformation systems. Moreover, the same authors have also shown how to use this technique for the verification of bisimilarity. In principle, the main results about borrowed context transformation do not apply only to plain graphs, but they are generic in the sense that they apply to all categories tha satisfy certain properties related to the notion of adhesivity. In particular, this is the case of attributed graphs. However, as we show in the paper, the techniques used for checking bisimilarity are not equally generic and, in particular they fail, if we want to apply them to attributed graphs. To solve this problem, in this paper, we define a special notion of symbolic graph bisimulation and show how it can be used to check bisimilarity of attributed graphs.Postprint (published version